# -*- mode: snippet -*-
# name: Set Functional Induction Rewrite Dependent
# --
Set Functional Induction Rewrite Dependent
